1

Constants in Kripke Models for Intuitionistic Logic

Year:
1995
Language:
english
File:
PDF, 617 KB
english, 1995
3

Fixed-points of Set-continuous Operators

Year:
2000
Language:
english
File:
PDF, 307 KB
english, 2000
7

Typical ambiguity and elementary equivalence

Year:
1993
Language:
english
File:
PDF, 577 KB
english, 1993
12

Intuitionistic typical ambiguity

Year:
1992
Language:
english
File:
PDF, 575 KB
english, 1992
13

Arenetitatnium(II) complexes of formula Ar-TiCl2-Al2Cl6

Year:
1975
Language:
english
File:
PDF, 293 KB
english, 1975
15

Square-central elements in alternative algebras of characteristic 2

Year:
1994
Language:
english
File:
PDF, 256 KB
english, 1994
17

Models of intuitionistic TT and NF

Year:
1995
Language:
english
File:
PDF, 840 KB
english, 1995
18

Die Purine der Lunge.

Year:
1909
Language:
german
File:
PDF, 1.08 MB
german, 1909
19

Die Enzyme der Lunge.

Year:
1909
Language:
german
File:
PDF, 1.08 MB
german, 1909
20

Zur Frage »Ueber das krystallinische Fibrin».

Year:
1899
Language:
german
File:
PDF, 839 KB
german, 1899
21

Die Zusammensetzung der Lunge.

Year:
1909
Language:
german
File:
PDF, 417 KB
german, 1909
23

Finite Sets and Natural Numbers in Intuitionistic TT without Extensionality

Year:
1998
Language:
english
File:
PDF, 1.00 MB
english, 1998
24

Finite Sets and Natural Numbers in Intuitionistic TT

Year:
1996
Language:
english
File:
PDF, 151 KB
english, 1996